Automated technology for verification and analysis (4th International symposium, ATVA 2006, Beijing, China, October 23-26, 2006)Graf, Susanne; Zhang, Wenhui.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-47237-1, 1Vol, XIV-540 p, isbn 3-540-47237-1Conference Proceedings

Verification Challenges and Opportunities in the New Era of Microprocessor DesignJIN YANG.Lecture notes in computer science. 2006, pp 6-7, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 2 p.Conference Paper

Controller Synthesis and Ordinal AutomataCACHAT, Thierry.Lecture notes in computer science. 2006, pp 215-228, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 14 p.Conference Paper

The Implementation of Mazurkiewicz Traces in POEMNIEBERT, Peter; HONGYANG QU.Lecture notes in computer science. 2006, pp 508-522, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic DecompositionNAM, Wonhong; ALUR, Rajeev.Lecture notes in computer science. 2006, pp 170-185, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper

On the Construction of Fine Automata for Safety PropertiesKUPFERMAN, Orna; LAMPERT, Robby.Lecture notes in computer science. 2006, pp 110-124, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Compositional Reasoning for Hardware/Software Co-verificationFEI XIE; GUOWU YANG; XIAOYU SONG et al.Lecture notes in computer science. 2006, pp 154-169, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper

Proactive Leader Election in Asynchronous Shared Memory SystemsDHARMADEEP, M. C; GOPINATH, K.Lecture notes in computer science. 2006, pp 384-398, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong ProtocolsDELZANNO, Giorgio; ESPARZA, Javier; SRBA, Jiri et al.Lecture notes in computer science. 2006, pp 415-429, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Selective Approaches for Solving Weak GamesHELMERT, Malte; MATTMÜLLER, Robert; SCHEWE, Sven et al.Lecture notes in computer science. 2006, pp 200-214, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Symbolic Unfoldings for Networks of Timed AutomataCASSEZ, Franck; CHATAIN, Thomas; JARD, Claude et al.Lecture notes in computer science. 2006, pp 307-321, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Analyzing Security Protocols in Hierarchical NetworksYE ZHANG; NIELSON, Hanne Riis.Lecture notes in computer science. 2006, pp 430-445, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper

Effective Contraction of Timed STGs for Decomposition Based Timed Circuit SynthesisYONEDA, Tomohiro; MYERS, Chris J.Lecture notes in computer science. 2006, pp 229-244, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper

Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate ChainsSUWIMONTEERABUTH, Dejvuth; SCHWOON, Stefan; ESPARZA, Javier et al.Lecture notes in computer science. 2006, pp 141-153, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 13 p.Conference Paper

Symmetry Reduction for Probabilistic Model Checking Using Generic RepresentativesDONALDSON, Alastair F; MILLER, Alice.Lecture notes in computer science. 2006, pp 9-23, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Output feedback control for free-floating space robotic manipulators base on adaptive fuzzy neural networkZHANG WENHUI; YE XIAOPING; JIANG LIHONG et al.Aerospace science and technology (Imprimé). 2013, Vol 29, Num 1, pp 135-143, issn 1270-9638, 9 p.Article

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded SystemsHANG SU; HEMINGWAY, Graham; KAI CHEN et al.Lecture notes in computer science. 2006, pp 523-537, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Eager Markov ChainsABDULLA, Parosh Aziz; HENDA, Noomene Ben; MAYR, Richard et al.Lecture notes in computer science. 2006, pp 24-38, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Predicate Abstraction of Programs with Non-linear ComputationSONGTAO XIA; DI VITO, Ben; MUNOZ, Cesar et al.Lecture notes in computer science. 2006, pp 352-368, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 17 p.Conference Paper

Symbolic Semantics for the Verification of Security Properties of Mobile Petri NetsFERNANDO, Rosa-Velardo; DAVID DE, Frutos-Escrig.Lecture notes in computer science. 2006, pp 461-476, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper

Timed Unfoldings for Networks of Timed AutomataBOUYER, Patricia; HADDAD, Serge; REYNIER, Pierre-Alain et al.Lecture notes in computer science. 2006, pp 292-306, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability AnalysisCHUNG, Ming-Ying; CIARDO, Gianfranco; YU, Andy Jinqing et al.Lecture notes in computer science. 2006, pp 51-66, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 16 p.Conference Paper

On the Membership Problem for Visibly Pushdown LanguagesLA TORRE, Salvatore; NAPOLI, Margherita; PARENTE, Mimmo et al.Lecture notes in computer science. 2006, pp 96-109, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 14 p.Conference Paper

Timed Temporal Logics for Abstracting Transient StatesBEL MOKADEM, Houda; BERARD, Béatrice; BOUYER, Patricia et al.Lecture notes in computer science. 2006, pp 337-351, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

A dynamic model of plants' blossom based on L-systemZHANG RUORAN; ZHANG WENHUI; ZHU YING et al.Proceedings of SPIE, the International Society for Optical Engineering. 2010, Vol 7850, issn 0277-786X, isbn 978-0-8194-8380-5, 785026.1-785026.8Conference Paper